WorkspacesView: remove unused GSettings

https://bugzilla.gnome.org/show_bug.cgi?id=746509

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 46d7dad489c65f4450fb72ea3f03ea6306f12d67..e2b585da4c069d003aa35a7822039646b4ace312 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -97,8 +97,6 @@ const WorkspacesView = new Lang.Class({
         this._scrolling = false; // swipe-scrolling
         this._animatingScroll = false; // programatically updating the adjustment
 
-        this._settings = new Gio.Settings({ schema_id: OVERRIDE_SCHEMA });
-
         let activeWorkspaceIndex = global.screen.get_active_workspace_index();
         this.scrollAdjustment = new St.Adjustment({ value: activeWorkspaceIndex,
                                                     lower: 0,